40 Years of Formal Methods Some Obstacles and Some Possibilities ? Dines Bjørnerα and Klaus Havelundβ,0 α Fredsvej 11, DK-2840 Holte, Danmark

Source URL: www.imm.dtu.dk

• Software engineering
• Vienna Development Method
• Formal specification
• B-Method
• Specification language
• Software development methodology
• Dines Bjørner
• Software development process
• Static program analysis
• Formal methods
• Computing
• Software development

Request for Quotation - Supply of Consultant Services RFQ Formal Instrument of Agreement Consultant Services Template guide notes (Version 1.1 – January 2014)

Source URL: 147.109.254.181

• Supply chain management
• Systems engineering
• Request for quotation
• Purchasing
• Specification
• Insurance
• Request for proposal
• Purchasing process
• Business
• Procurement
• Technology

Request For Quotation - Supply of General Services RFQ Formal Instrument of Agreement General Services Template guide notes (Version 1.1 – January 2014)

Source URL: 147.109.254.181

• Supply chain management
• Systems engineering
• Request for quotation
• Purchasing
• Specification
• Purchasing process
• Request for proposal
• Business
• Procurement
• Technology

Engineering the Tokeneer Enclave Protection Software Janet Barnes, Rod Chapman: Altran Randy Johnson, James Widmaier: National Security Agency David Cooper: River River Limited

Source URL: www.adacore.com

• Software engineering
• Formal methods
• Evaluation
• Ada programming language
• SPARK
• Reliability engineering
• Evaluation Assurance Level
• Functional specification
• Common Criteria
• Software development
• Computing
• Systems engineering

Microsoft Word - SS00 Introduction[removed]doc

Source URL: www.tams.act.gov.au

• Quality
• Specification
• Technical communication
• Technology
• Formal specification
• Government procurement in the United States
• Evaluation
• Business
• Construction
• Standards
• Product development

¨t Augsburg Universita Verification of Mondex Electronic Purses with KIV: From Transactions to a Security Protocol

Source URL: www.isse.uni-augsburg.de

• Theoretical computer science
• Applied mathematics
• Computer programming
• Program refinement
• Abstract state machines
• Formal verification
• Formal specification
• Communications protocol
• ALGOL 68
• Formal methods
• Computing
• Software engineering

Manifesto from Dagstuhl Perspectives Workshop[removed]Modeling, Analysis, and Verification – The Formal Methods Manifesto 2010 Edited by

Source URL: drops.dagstuhl.de

• Software development
• Formal verification
• Model checking
• Formal specification
• Electronic design automation
• Specification language
• Verification and validation
• Software development process
• Programming language
• Formal methods
• Theoretical computer science
• Science

Specification and Verification of Security Policies for Smart Cards

Source URL: edoc.hu-berlin.de

• ISO standards
• Computer network security
• Smart card
• Ubiquitous computing
• Formal methods
• Computer security
• Identity document
• Security
• Crime prevention
• National security

Property Specification Language Reference Manual Version 1.1 June 9, 2004

Source URL: www.eda-stds.org

• Formal methods
• Hardware verification languages
• Property Specification Language
• Accellera
• Technical communication
• Verilog
• Specification
• Functional verification
• Functional specification
• Electronic design automation
• Electronic engineering
• Hardware description languages

University of Huddersfield Repository McCluskey, T.L. A formal specification and rigorous implementation of an AI planner Original Citation McCluskey, T.L[removed]A formal specification and rigorous implementation of an

Source URL: eprints.hud.ac.uk